home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
MacHack 1994
/
MacHack 1994.toast
/
MacHack™94
/
Talks & Papers
/
Timothy Knox
/
Help
/
Help Files
/
ATMS
/
Description
< prev
next >
Wrap
Text File
|
1994-06-24
|
193b
|
1 lines
This folder contains two different releases of an ATMS oriented propositionnal (boolean) prover. It is documented in a PhD thesis by Olivier Palmade, directed by Michel Cayrol (cayrol@irit.fr).